A guide to self-distributive quasigroups, or latin quandles
نویسندگان
چکیده
We present an overview of the theory of self-distributive quasigroups, both in the two-sided and one-sided cases, and relate the older results to the modern theory of quandles, to which self-distributive quasigroups are a special case. Most attention is paid to the representation results (loop isotopy, linear representation, homogeneous representation), as the main tool to investigate self-distributive quasigroups.
منابع مشابه
Graphic lambda calculus
Graphic lambda calculus consists of a class of graphs endowed with moves between them. It might be considered a visual language in the sense of Erwig [1]. The name comes from the fact that it can be used for representing terms and reductions from untyped lambda calculus. Its main move is called the graphic beta move for its relation to the beta reduction in lambda calculus. However, the graphic...
متن کاملLocal and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale
λ-Scale calculus, introduced in [4], is a formalism which contains both untyped lambda calculus and emergent algebras. It has been conceived in order to give a rigorous meaning to ”computing with space” [5], i.e. to give a precise meaning to computation associated to emergent algebras. Emergent algebras [2] [3] are a distillation of differential calculus in metric spaces with dilations [1]. Thi...
متن کاملLocal and global moves on locally planar trivalent graphs, lambda calculus and $\lambda$-Scale
λ-Scale calculus, introduced in [4], is a formalism which contains both untyped lambda calculus and emergent algebras. It has been conceived in order to give a rigorous meaning to ”computing with space” [5], i.e. to give a precise meaning to computation associated to emergent algebras. Emergent algebras [2] [3] are a distillation of differential calculus in metric spaces with dilations [1]. Thi...
متن کاملExtensions of Racks and Quandles
A rack is a set equipped with a bijective, self-right-distributive binary operation, and a quandle is a rack which satisfies an idempotency condition. In this paper, we introduce a new definition of modules over a rack or quandle, and show that this definition includes the one studied by Etingof and Graña [9] and the more general one given by Andruskiewitsch and Graña [1]. We further show that ...
متن کاملDistributive and Trimedial Quasigroups of Order
We enumerate three classes of non-medial quasigroups of order 243 = 3 up to isomorphism. There are 17004 non-medial trimedial quasigroups of order 243 (extending the work of Kepka, Bénéteau and Lacaze), 92 non-medial distributive quasigroups of order 243 (extending the work of Kepka and Němec), and 6 non-medial distributive Mendelsohn quasigroups of order 243 (extending the work of Donovan, Gri...
متن کامل